1. Logic based program synthesis and transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers
پدیدآورنده : Sandro Etalle )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3573
